1. A first course in logic /
پدیدآورنده : Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
2. A first course in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
3. A readable introduction to real mathematics
پدیدآورنده : Rosenthal, Daniel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
4. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
5. Instructors manual for mathematical logic : applications and theory
پدیدآورنده : Rubin, Jean E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Problems, exercises, etc ، Logic, Symbolic and mathematical
رده :
QA
9
.
R82a
6. Introduction to mathematical logic
پدیدآورنده : Elliott Mendelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
7. Logic functions and equations
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ;
8. Logikē :
پدیدآورنده : Dēmētrēs Portidēs, Stathēs Psyllos, Dionysios Anapolitanos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Debates and debating.,Logic, Symbolic and mathematical -- Problems, exercises, etc.,Predicate calculus -- Problems, exercises, etc.
9. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
10. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
